1. Logic of Programs :
پدیدآورنده : edited by Erwin Engeler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic design.
2. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
3. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
4. The Combinatory programme
پدیدآورنده : / edited by Erwin Engeler
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Combinatory logic
رده :
511
.
3
C731
